Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
331	Are We There Yet? 20 Years of Industrial Theorem Proving with SPARK Roderick Chapman1 and Florian Schanda2 1 2 Add to Reading List Source URL: proteancode.com Language: English - Date: 2014-10-28 11:02:53 Formal methods Logic in computer science Ada programming language Automated theorem proving SPARK Formal verification Isabelle Proof assistant Static program analysis Theoretical computer science Computing Applied mathematics
332	A FRAMEWORK FOR REPRESENTING AND PROCESSING ARBITRARY MATHEMATICS Arnold Neumaier and Peter Schodl Fakult¨at f¨ur Mathematik, University of Vienna,Nordbergstr. 15, A-1090 Wien, Austria Keywords: Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2011-05-11 10:42:47 Operations research Computer algebra systems Scientific modeling Mathematical optimization Mathematical modeling Mathematics Semantic memory AMPL Modeling language Mathematical software Science Computing
333	Nonrecursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Applied mathematics Theory of computation Computability theory Formal languages Automata theory Cellular automaton Recursively enumerable set Recursively enumerable language Universal Turing machine Theoretical computer science Turing machine Computer science
334	SGDL-Scheme: a high level algorithmic language for projective solid modeling programming Jean-Francois Rotge GRCAO / University of Montreal http://www.sgdl.com Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Linear algebra Analytic geometry Projective geometry Surfaces Space Homogeneous coordinates Vector space 3D modeling Euclidean geometry Algebra Geometry Mathematics
335	AMSI Workshop on Mathematics of Transportation Networks 2013, Melbourne Road Safety Modeling Using a Safety Analysis Chain: A Theoretical Discussion Amir Sobhani Add to Reading List Source URL: users.monash.edu Language: English - Date: 2013-06-24 22:41:47 Car safety Danish language Faroese language Norwegian language Ø Crash simulation Road traffic safety Traffic flow Transport Land transport Road transport
336	The Semantics of Version Control The semantics of version control 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2014-11-07 03:44:28 Social philosophy Theoretical computer science Logic in computer science Logic Programming language semantics Applied mathematics Grammar Meaning Semantics
337	Deep Convolutional Neural Networks for Sentiment Analysis of Short Texts C´ıcero Nogueira dos Santos Brazilian Research Lab IBM Research Add to Reading List Source URL: anthology.aclweb.org Language: English - Date: 2014-08-08 12:18:55 Linear algebra Natural language processing Computational neuroscience Sentiment analysis Embedding Semantics Euclidean vector Microsoft Word Vector space Algebra Mathematics Abstract algebra
338	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.usthb.dz Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
339	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: cran.uib.no Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra
340	A Guide for the Unwilling S User Patrick Burns∗ 23rd February 2003 Introduction Two versions of the S language are available—a free version called R, and a commercial version called S-PLUS. Though there are differenc Add to Reading List Source URL: ftp.iitm.ac.in Language: English - Date: 2003-02-25 11:31:55 Abstract algebra Vectors Matrix Euclidean vector Spreadsheet Vector space Vector R C Algebra Mathematics Linear algebra

UPDATE